Ore's Theorem: Graph Closure